
with AUnit; use AUnit;
with AUnit.Test_Cases;
with Stations;

package Stations.Test is

   type Test_S1 is new AUnit.Test_Cases.Test_Case with null record;

   procedure Register_Tests (T : in out Test_S1);

   function Name (T : Test_S1) return Test_String;

   procedure Test_Name (T : in out Test_Cases.Test_Case'Class);

   procedure Is_Train (T : in out Test_Cases.Test_Case'Class);

   procedure Leave_Station (T : in out Test_Cases.Test_Case'Class);

   procedure Add_Passenger (T : in out Test_Cases.Test_Case'Class);

end Stations.Test;
